Functional calculus

Results: 647



#Item
561Type theory / Procedural programming languages / Models of computation / Functional programming / Monad / Type safety / Lambda calculus / Filesystem permissions / Type system / Software engineering / Computing / Programming language theory

Type Soundness and Race Freedom for Mezzo Thibaut Balabonski, François Pottier, and Jonathan Protzenko INRIA

Add to Reading List

Source URL: gallium.inria.fr

Language: English - Date: 2014-03-13 09:25:26
562Mathematics / Probability theory / Spectral theory / Logic / Holomorphic functional calculus / Model theory / Structure / Universal algebra

UNIFORM ALMOST EVERYWHERE DOMINATION PETER CHOLAK, NOAM GREENBERG, AND JOSEPH S. MILLER

Add to Reading List

Source URL: www.ims.nus.edu.sg

Language: English - Date: 2010-01-12 23:03:20
563Multivariable calculus / Differential calculus / Operator theory / Generalizations of the derivative / Derivative / Functional equation / Mathematical analysis / Calculus / Mathematics

24HourAnswers.com Online Homework Focused Exercises for Math SAT Skill Set 4: Two or More Variables Many of the problems in this exercise set came from The College Board, writers

Add to Reading List

Source URL: www.24houranswers.com

Language: English - Date: 2013-11-27 21:18:34
564Symbol / Support / Spectral theory / Spectral theory of ordinary differential equations / Holomorphic functional calculus / Mathematical analysis / Mathematics / Calculus

The values of a quadratic form at square-free points R. C. Baker

Add to Reading List

Source URL: www.math.byu.edu

Language: English - Date: 2008-12-01 11:48:23
565Matrix theory / Spectral theory / Spectrum / Matrix / Eigenvalues and eigenvectors / Theorems and definitions in linear algebra / Holomorphic functional calculus / Algebra / Mathematics / Linear algebra

A LOCAL LIMIT LAW FOR THE EMPIRICAL SPECTRAL DISTRIBUTION OF THE ANTICOMMUTATOR OF INDEPENDENT WIGNER MATRICES

Add to Reading List

Source URL: www.math.umn.edu

Language: English - Date: 2014-01-08 18:25:18
566Group theory / Galois module / Finite field / Elliptic curve / Holomorphic functional calculus / Abstract algebra / Algebraic number theory / Galois theory

Projective p-adic Representations of the K-rational Geometric Fundamental Group G. Frey and E. Kani

Add to Reading List

Source URL: www.mast.queensu.ca

Language: English - Date: 2001-08-25 20:47:38
567Functional analysis / Operator theory / Linear algebra / Spectral theory / Functional calculus / Banach algebra / Gelfand representation / Spectrum / Borel functional calculus / Mathematical analysis / Mathematics / Algebra

Course Outline Banach algebras and spectral theory Math 206, Fall 1992, Berkeley CA C. McMullen Texts: Berberian, Lectures on functional analysis and operator theory. Riesz and Nagy, Functional analysis. Wermer, Banach a

Add to Reading List

Source URL: www.math.harvard.edu

Language: English - Date: 2007-03-18 15:53:09
568Continuous function / Functional analysis / Discontinuous linear map / Fundamental theorem of calculus / Mathematical analysis / Mathematics / Calculus

Please remind me to return homeworks and exams at the end of class. Exam scores:

Add to Reading List

Source URL: faculty.uml.edu

Language: English - Date: 2009-10-30 15:04:33
569Type theory / C++ / Data types / Lambda calculus / Functional programming / Anonymous function / Initialization / Objective-C / Type system / Software engineering / Computing / Computer programming

OVERVIEW OF C# 3.0 Table of Contents OVERVIEW OF C# 3.0 Chapter Overview of C# 3.0

Add to Reading List

Source URL: download.microsoft.com

Language: English - Date: 2005-08-25 18:33:40
570Mathematical analysis / Jean Dieudonné / Calculus / Functional analysis / Mathematical logic / John von Neumann / Differential geometry / Mathematician / Atiyah–Singer index theorem / Mathematics / Nicolas Bourbaki / Science

BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 3, Number 1, July 1980

Add to Reading List

Source URL: www.ams.org

Language: English - Date: 2010-01-14 13:29:45
UPDATE